J. S. Bell's classic 1966 review paper on the foundations of quantum mechanics led directly to the Bell nonlocality theorem. It is not widely appreciated that the review paper contained the basic ingredients needed for a nonlocality result which holds in certain situations where the Bell inequality is not violated. We present in this paper a systematic formulation and evaluation of an argument due to Stairs in 1983, which establishes a nonlocality result based on the Bell-Kochen-Specker “paradox” in quantum mechanics.

This paper presents a minimal formulation of nonrelativistic quantum mechanics, by which is meant a formulation which describes the theory in a succinct, self-contained, clear, unambiguous and of course correct manner. The bulk of the presentation is the so-called “microscopic theory”, applicable to any closed system S of arbitrary size N, using concepts referring to S alone, without resort to external apparatus or external agents. An example of a similar minimal microscopic theory is the standard formulation of classical mechanics, which (...) serves as the template for a minimal quantum theory. The only substantive assumption required is the replacement of the classical Euclidean phase space by Hilbert space in the quantum case, with the attendant all-important phenomenon of quantum incompatibility. Two fundamental theorems of Hilbert space, the Kochen–Specker–Bell theorem and Gleason’s theorem, then lead inevitably to the well-known Born probability rule. For both classical and quantum mechanics, questions of physical implementation and experimental verification of the predictions of the theories are the domain of the macroscopic theory, which is argued to be a special case or application of the more general microscopic theory. (shrink)

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...) monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that is (...) adequate for much of mathematics. In this paper we show that the consistency strength of Mac Lane's system is not increased by adding the axioms of Kripke–Platek set theory and even the Axiom of Constructibility to Mac Lane's axioms; our method requires a close study of Axiom H, which was proposed by Mitchell; we digress to apply these methods to subsystems of Zermelo set theory , and obtain an apparently new proof that is not finitely axiomatisable; we study Friedman's strengthening of , and the Forster–Kaye subsystem of , and use forcing over ill-founded models and forcing to establish independence results concerning and ; we show, again using ill-founded models, that proves the consistency of ; turning to systems that are type-theoretic in spirit or in fact, we show by arguments of Coret and Boffa that proves a weak form of Stratified Collection, and that is a conservative extension of for stratified sentences, from which we deduce that proves a strong stratified version of ; we analyse the known equiconsistency of with the simple theory of types and give Lake's proof that an instance of Mathematical Induction is unprovable in Mac Lane's system; we study a simple set theoretic assertion—namely that there exists an infinite set of infinite sets, no two of which have the same cardinal—and use it to establish the failure of the full schema of Stratified Collection in ; and we determine the point of failure of various other schemata in . The paper closes with some philosophical remarks. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

In the middle of last century metaphysics was widely criticized, ridiculed, and committed to the flames. During this period a handful of philosophers, against several anti-metaphysical trends, defended metaphysics and articulated novel metaphysical doctrines. Donald C. Williams was one of these philosophers. But while his contributions to metaphysics are well known his defence of metaphysics is not and yet it played a key part in the development and revival of metaphysics. In this paper I present his defence of metaphysics in (...) its historical context. I also show how his defence is relevant in response to recent attacks on metaphysics. (shrink)

I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. Truthmaker theorists can (...) have a trouble-free theory of fundamentality. (shrink)

Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula Φ(λ, a) such that for any sequence $\langle A_{\lambda} \mid \lambda \text{a limit ordinal} \rangle$ where for each $\lambda, A_{\lambda} \subseteq ^{\lambda}2$ , there is a supertransitive inner model of Zermelo containing all ordinals in which for every λ A (...) λ = {α ∣Φ(λ, a)}. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages over competing (...) theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

Donald C. Williams was a key figure in the development of analytic philosophy. This book will be the definitive source for his highly original work, which did much to bring metaphysics back into fashion. It presents six classic papers and six previously unpublished, revealing his full philosophical vision for the first time.

Samuel Alexander was a central figure of the new wave of realism that swept across the English-speaking world in the early twentieth century. His Space, Time, and Deity (1920a, 1920b) was taken to be the official statement of realism as a metaphysical system. But many historians of philosophy are quick to point out the idealist streak in Alexander’s thought. After all, as a student he was trained at Oxford in the late 1870s and early 1880s as British Idealism was beginning (...) to flourish. This naturally had some effect on his philosophical outlook and it is said that his early work is overtly idealist. In this paper I examine his neglected and understudied reactions to British Idealism in the 1880s. I argue that Alexander was not an idealist during this period and should not be considered as part of the British Idealist tradition, philosophically speaking. (shrink)

Informed consent is reviewed as it applies to psychiatric patients. Although new legislation, such as the Mental Health Act 1983, provides a useful safeguard for the protection of the civil rights of patients, it could actually reduce their humane care unless applied with sensitivity for the nature of their unique difficulties. In order to guard against this possibility, we suggest that legal requirements should be considered in light of the ethical principles which underlie them. Three principles are considered: those of (...) autonomy (freedom); beneficence (paternalism); and the fiduciary principle (partnership). Psychotherapy is offered as a model for informed consent, which might be generalised to other clinical situations. (shrink)

Narrative as it is used by historians is not merely an incidental, stylistic feature of the historian's craft, but essential to historical explanation. Narrative presupposes a world of things that endure through change. Stories fill in the gaps in our experience and thus make continuity visible. Ideally, narrative stands proxy for experience, though this ideal can never be attained. No criterion can be formulated that will signify when a story is complete enough. The changing perspective of the historian and the (...) infinite detail with which he has to deal makes his task a continuous one. Yet the historian cannot be radically subjective because his story is always limited by the chronology of his events and the accuracy of his details. The rationale of narrative enables the historian to repudiate the covering-law model of historical explanation. (shrink)

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

Mathematical Foundations of Quantum Theory is a collection of papers presented at the 1977 conference on the Mathematical Foundations of Quantum Theory, held in New Orleans. The contributors present their topics from a wide variety of backgrounds and specialization, but all shared a common interest in answering quantum issues. Organized into 20 chapters, this book's opening chapters establish a sound mathematical basis for quantum theory and a mode of observation in the double slit experiment. This book then describes the Lorentz (...) particle system and other mathematical structures with which fun ... (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should be rejected.

In their rare comments on Existentialism, contemporary British philosophers, with a few notable exceptions, frequently ridicule the use of “nothing” by such writers as Sartre and Heidegger. And when it is discovered that these writers maintain that the contemplation of nothingness gives rise to anguish, this ridicule is expressed even more strongly. What may be taken as a typical example of this tendency are Professor Ayer's remarks in his Horizon articles on Sartre. A characteristic quotation runs as follows: “In particular, (...) Sartre's reasoning on the subject of le néant seems to me exactly on a par with that of the King in Alice through the Looking-Glass … The point is that words like ‘nothing” and ‘nobody” are not used as the names of something insubstantial and mysterious; they are not used to name anything at all”;. (shrink)

© 2015, Springer-Verlag Berlin Heidelberg.Genetic studies have identified single nucleotide polymorphisms associated with the risk of prostate cancer. It remains unclear whether such genetic variants are associated with disease aggressiveness. The NCI-SPORE Genetics Working Group retrospectively collected clinicopathologic information and genotype data for 36 SNPs which at the time had been validated to be associated with PC risk from 25,674 cases with PC. Cases were grouped according to race, Gleason score and aggressiveness. Statistical analyses were used to compare the (...) frequency of the SNPs between different disease cohorts. After adjusting for multiple testing, only PC-risk SNP rs2735839 was significantly and inversely associated with aggressive and high-grade disease in European men. Similar associations with aggressive and high-grade disease were documented in African-American subjects. The G allele of rs2735839 was associated with disease aggressiveness even at low PSA levels in both European and African-American men. Our results provide further support that a PC-risk SNP rs2735839 near the KLK3 gene on chromosome 19q13 may be associated with aggressive and high-grade PC. Future prospectively designed, case-case GWAS are needed to identify additional SNPs associated with PC aggressiveness. (shrink)

A hippocampal patient is described who shows preserved item recognition and simple recognition-based recollection but impaired recall and associative recognition. These data and other evidence suggest that contrary to Aggleton & Brown's target article, Papez circuit damage impairs only complex item-item-context recollection. A patient with perirhinal cortex damage and a delayed global memory deficit, apparently inconsistent with A&B's framework, is also described.

A considerable number of workers interviewed have stated their belief that Jews have too much power. The notion of power in this context has a wide range. It covers the most diversified phenomena—from holding minor positions in administration or business to dominating everything and wielding unchecked power over the world. The idea of Jewish power as it fascinates our interviewees is vague and hazy. To establish its real contents, it seems advisable to discuss these statements first that refer to the (...) widest and most comprehensive concept of universal Jewish domination. In statements made by our interviewees, references to Jews as.. (shrink)

There are obvious grounds for the conjunction anthropology and ethics, proposed as the Monist topic. When philosophers teach or write ethics, material from alien ways of life illuminates and enriches the discussion, and sometimes helps chasten the urge to elevate local practises into universal principles. The question might then be raised: to what extent do anthropological discoveries affect the status and theories about the status of moral principles? The answer will affirm or take issue with that vaguely defined view, cultural (...) relativism. (shrink)